DUGi: Llistar Títols | Boolean satisfiability | 0 - 2

Llistar Títols per Matèria "Boolean satisfiability"

S'han trobat 2 ítems

Llistant ítems des de 0 a 2:

1

Format	Data	Títol	Autor
Format	Data	Títol	Autor
	10 desembre 2015	Reformulation of constraint models into SMT	Palahí i Sitges, Miquel
		Reformulation of constraint models into SMT	Palahí i Sitges, Miquel

1

Matèries

Satisfactibilidad booleana Programació amb restriccions Boolean satisfiability Tesis i dissertacions acadèmiques Satisfactibilitat booleana 51 - Matemàtiques 004 - Informàtica

Autors

Palahí i Sitges, Miquel Bofill Arasa, Miquel Villaret i Ausellé, Mateu Universitat de Girona. Departament d’Informàtica, Matemàtica Aplicada i Estadística (2013-)